.wp_syntax {
	margin: 0px 0px 1.5em; border: 1px solid silver; color: rgb(17, 0, 0); overflow: auto; background-color: rgb(249, 249, 249);
}
.wp_syntax {
	width: 99%; -ms-overflow-x: auto; -ms-overflow-y: hidden;
}
.wp_syntax table {
	margin: 0px !important; padding: 0px !important; border: currentColor !important; width: 100% !important; border-collapse: collapse !important;
}
.wp_syntax caption {
	margin: 0px !important; padding: 2px !important; width: 100% !important; text-align: left !important; line-height: 1.2em !important; font-family: monospace !important; font-size: 12px !important; background-color: rgb(221, 238, 255) !important;
}
.wp_syntax caption a {
	text-align: left !important; color: rgb(25, 130, 209) !important; line-height: 16px !important; font-family: monospace !important; font-size: 12px !important; text-decoration: none !important;
}
.wp_syntax caption a:hover {
	color: rgb(25, 130, 209) !important; text-decoration: underline !important;
}
.wp_syntax div {
	padding: 0px !important; border: currentColor !important; text-align: left !important; vertical-align: top !important;
}
.wp_syntax td {
	padding: 0px !important; border: currentColor !important; text-align: left !important; vertical-align: top !important;
}
.wp_syntax td.code {
	width: 100% !important; line-height: normal !important; white-space: normal !important; background-image: linear-gradient(transparent 50%, rgba(255, 255, 255, 0.9) 50%); background-size: 1px 32px; background-color: rgb(238, 238, 238);
}
.wp_syntax pre {
	margin: 0px !important; padding: 0px 4px !important; border-radius: 0px !important; border: currentColor !important; width: auto !important; line-height: 16px !important; overflow: visible !important; clear: none !important; font-family: monospace !important; font-size: 12px !important; float: none !important; white-space: pre !important; box-shadow: 0px 0px 0px rgba(0,0,0,0) !important; -moz-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0); -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0); -webkit-border-radius: 0; -moz-border-radius: 0;
}
.wp_syntax td.line_numbers pre {
	width: 16px !important; text-align: right !important; color: gray !important; background-color: rgb(221, 238, 255) !important;
}
